|
Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension ''K'' of the field ''Q'' of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of ''K''. There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime ''p'' in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes ''p'' less than a large integer ''N'', tends to a certain limit as ''N'' goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in . A special case that is easier to state says that if ''K'' is an algebraic number field which is a Galois extension of ''Q'' of degree ''n'', then the prime numbers that completely split in ''K'' have density :1/''n'' among all primes. More generally, splitting behavior can be specified by assigning to (almost) every prime number an invariant, its Frobenius element, which strictly is a representative of a well-defined conjugacy class in the Galois group :''Gal''(''K''/''Q''). Then the theorem says that the asymptotic distribution of these invariants is uniform over the group, so that a conjugacy class with ''k'' elements occurs with frequency asymptotic to :''k''/''n''. == History and motivation == When Carl Friedrich Gauss first introduced the notion of complex integers ''Z''(), he observed that the ordinary prime numbers may factor further in this new set of integers. In fact, if a prime ''p'' is congruent to 1 mod 4, then it factors into a product of two distinct prime gaussian integers, or "splits completely"; if ''p'' is congruent to 3 mod 4, then it remains prime, or is "inert"; and if ''p'' is 2 then it becomes a product of the square of the prime ''(1+i)'' and the invertible gaussian integer ''-i''; we say that 2 "ramifies". For instance, : splits completely; : is inert; : ramifies. From this description, it appears that as one considers larger and larger primes, the frequency of a prime splitting completely approaches 1/2, and likewise for the primes that remain primes in ''Z''(). Dirichlet's theorem on arithmetic progressions demonstrates that this is indeed the case. Even though the prime numbers themselves appear rather erratically, splitting of the primes in the extension : follows a simple statistical law. Similar statistical laws also hold for splitting of primes in the cyclotomic extensions, obtained from the field of rational numbers by adjoining a primitive root of unity of a given order. For example, the ordinary integer primes group into four classes, each with probability 1/4, according to their pattern of splitting in the ring of integers corresponding to the 8th roots of unity. In this case, the field extension has degree 4 and is abelian, with the Galois group isomorphic to the Klein four-group. It turned out that the Galois group of the extension plays a key role in the pattern of splitting of primes. Georg Frobenius established the framework for investigating this pattern and proved a special case of the theorem. The general statement was proved by Nikolai Grigoryevich Chebotaryov in 1922. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Chebotarev's density theorem」の詳細全文を読む スポンサード リンク
|